Asymptotic expansions in n-1 for percolation critical values on the n-Cube and Zn

We use the lace expansion to prove that the critical values for nearest-neighbour bond percolation on the n-cube {0, 1}n and on the integer lattice Zn have asymptotic expansions, with rational coefficients, to all orders in powers of n−1. 1 Main results 1.1 Main result for Z We consider bond percolation on Z with edge set consisting of pairs {x, y} of vertices in Z with ‖x−y‖1 = 1, where ‖w‖1 = nj=1 |wj| for w ∈ Z. Bonds (edges) are independently occupied with probability p and vacant with probability 1− p. The critical value is defined by pc(Z) = inf{p : ∃ an infinite connected cluster of occupied bonds a.s.}. (1.1) Given a vertex x of Z, let C(x) denote the connected cluster of x, i.e., the set of vertices y such that y is connected to x by a path consisting of occupied bonds. Let |C(x)| denote the cardinality of C(x), and let χ(p) = Ep|C(0)| denote the expected cluster size of the origin. Results of [1, 21] imply that pc(Z) = sup{p : χ(p) < ∞}. (1.2) is an equivalent definition of the critical value. Our main result for Z is the following theorem. Theorem 1.1. Consider bond percolation on Z. There are rational numbers ai(Z) such that for all M ≥ 1, pc(Z) = M ∑ i=1 ai(Z)(2n)−i + O((2n)−M−1) as n →∞. (1.3) The constant in the error term depends on M . ∗Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. [email protected] †Department of Mathematics, University of British Columbia, Vancouver, BC V6T 1Z2, Canada. [email protected]